Phosphotyrosine phosphatases (PTPases) are the enzymes which remove phosphate groups from protein tyrosine residues. An enormous number of phosphatases have been cloned and sequenced during the past decade, many of which are expressed in haematopoietic cells. This review focuses on the biochemistry and cell biology of three phosphatases, the transmembrane CD45 and the cytosolic SH2‐domain‐containing PTPases SHP‐1 and SHP‐2, to illustrate the diverse ways in which PTPases regulate receptor signal transduction. The involvement of these and other PTPases has been demonstrated (...) in haematopoietic cell development, apoptosis, activation and non‐responsiveness. A common theme in the actions of many haematopoietic cell PTPases is the way in which they modulate the thresholds for receptor signalling, thereby regulating critical events in the positive and negative selection of lymphocytes. There is growing interest in haematopoietic PTPases and their associated regulatory proteins as targets for pharmaceutical intervention and in the involvement of these enzymes in human disease. (shrink)

Few people would care to deny, whether within India or without, that Buddha is the greatest Indian of all times. Whether from the standpoint of the purity of his life, the daring originality and novelty of his thought, or the extent of his influence in shaping the culture of the world, it would be hard to beat the record of Buddha. Even making every allowance for the common idea that no man is a prophet in his own land, it is (...) difficult to believe that for the last thousand years Buddha has been practically an exile from the land of his birth. It is nothing short of an irony of history, and nothing short of a tragedy for India, that the great unifying force that he represented in his time and does represent even to-day has been allowed to run waste and the great moral stamina that he sought to supply failed in its historic mission. (shrink)

Whenever a structure with a particularly interesting computability-theoretic property is found, it is natural to ask whether similar examples can be found within well-known classes of algebraic structures, such as groups, rings, lattices, and so forth. One way to give positive answers to this question is to adapt the original proof to the new setting. However, this can be an unnecessary duplication of effort, and lacks generality. Another method is to code the original structure into a structure in the given (...) class in a way that is effective enough to preserve the property in which we are interested. In this paper, we show how to transfer a number of computability-theoretic properties from directed graphs to structures in the following classes: symmetric, irreflexive graphs; partial orderings; lattices; rings ; integral domains of arbitrary characteristic; commutative semigroups; and 2-step nilpotent groups. This allows us to show that several theorems about degree spectra of relations on computable structures, nonpreservation of computable categoricity, and degree spectra of structures remain true when we restrict our attention to structures in any of the classes on this list. The codings we present are general enough to be viewed as establishing that the theories mentioned above are computably complete in the sense that, for a wide range of computability-theoretic nonstructure type properties, if there are any examples of structures with such properties then there are such examples that are models of each of these theories. (shrink)

A translation of an important and neglected work of Averroes, with an excellent introduction, placing the book in its historical context and evaluating it philosophically. In the course of his close and meticulous refutation of Al Ghazali, who had denied the possibility of a rational philosophy and advanced arguments for the priority of mystical revelation, Averroes discusses the eternality of the world, the logical relation between cause and effect, and the relation between potentiality and actuality. There is also a separate (...) volume of notes, indices and an interesting list of contradictions to be found in Aristotle. A significant scholarly work. --A. R. (shrink)

Along with political, economic, ethical, rehabilitative and military dimensions, psychopathological sequelae of war and terrorism also deserve our attention. The terrorist attack on the World Trade Centre ( W.T.C.) in 2001 and the Gulf War of 1990-91 gave rise to a number of psychiatric disturbances in the population, both adult and children, mainly in the form of Post-traumatic Stress disorder (PTSD). Nearly 75,000 people suffered psychological problems in South Manhattan alone due to that one terrorist attack on the WTC in (...) New York and the Pentagon in Washington. In Gulf War I, more that 1,00,000 US veterans reported a number of health problems on returning from war, whose claims the concerned government has denied in more than 90% cases. Extensive and comprehensive neurological damage to the brain of Gulf War I veterans has been reported by one study, as has damage to the basal ganglia in another, and Amyotrophic Lateral Sclerosis (ALS) in a third, possibly due to genetic mutations induced by exposure to biological and chemical agents, fumes from burning oil wells, landfills, mustard or other nerve gases. The recent Gulf War will no doubt give rise its own crop of PTSD and related disorders. In a cost-benefit analysis of the post Gulf War II scenario, the psychopathological effects of war and terrorism should become part of the social audit any civilized society engages in. Enlightened public opinion must become aware of the wider ramifications of war and terrorism so that appropriate action plans can be worked out. (shrink)

We investigate the complexity of various combinatorial theorems about linear and partial orders, from the points of view of computability theory and reverse mathematics. We focus in particular on the principles ADS (Ascending or Descending Sequence), which states that every infinite linear order has either an infinite descending sequence or an infinite ascending sequence, and CAC (Chain-AntiChain), which states that every infinite partial order has either an infinite chain or an infinite antichain. It is well-known that Ramsey's Theorem for pairs (...) (RT₂²) splits into a stable version (SRT₂²) and a cohesive principle (COH). We show that the same is true of ADS and CAC, and that in their cases the stable versions are strictly weaker than the full ones (which is not known to be the case for RT₂² and SRT₂²). We also analyze the relationships between these principles and other systems and principles previously studied by reverse mathematics, such as WKL₀, DNR, and BΣ₂. We show, for instance, that WKL₀ is incomparable with all of the systems we study. We also prove computability-theoretic and conservation results for them. Among these results are a strengthening of the fact, proved by Cholak, Jockusch, and Slaman, that COH is Π₁¹-conservative over the base system RCA₀. We also prove that CAC does not imply DNR which, combined with a recent result of Hirschfeldt, Jockusch, Kjos-Hanssen, Lempp, and Slaman, shows that CAC does not imply SRT₂² (and so does not imply RT₂²). This answers a question of Cholak, Jockusch, and Slaman. Our proofs suggest that the essential distinction between ADS and CAC on the one hand and RT₂² on the other is that the colorings needed for our analysis are in some way transitive. We formalize this intuition as the notions of transitive and semitransitive colorings and show that the existence of homogeneous sets for such colorings is equivalent to ADS and CAC, respectively. We finish with several open questions. (shrink)

Cholak, Goncharov, Khoussainov, and Shore [1] showed that for each k > 0 there is a computably categorical structure whose expansion by a constant has computable dimension k. We show that the same is true with k replaced by ω. Our proof uses a version of Goncharov's method of left and right operations.

Fourteen essays ranging over issues in political philosophy, philosophy of language, theory of reference, aesthetics, philosophy of history, philosophical psychology, metaethics, "Foundations of Knowledge", "Wittgenstein and Austin". The final essay, "The Possibility of a Dialogue," by I. Mézáros, is a rather pessimistic post mortem on the "Cahiers de Royaumont", the proceedings of a 1959 conference on analytical philosophy held between the men of Oxford and some continental philosophers. From the perspective of continental philosophy, Mézáros is denying the possibility of a (...) meaningful dialogue until analytical philosophers extensively broaden their horizons and methods. A reading of the essays in this volume painfully bears out Mézáros judgment, though the issue of whether or how analytical philosophers ought to mend their ways is not as easily decided as Mézáros seems to indicate.—E. A. R. (shrink)

In this Swarthmore Lecture for 1965 a noted philosopher engages in a disciplined philosophical attempt 1) to locate the essence of religion as the ultimate integrating principle among "persons in relation," and 2) to show how religion has been beset by a constant temptation throughout its history to assume dualistic attitudes and practices. Such attitudes and practices invariably lead to an idealism which denies rather than faces the real conflict in the world, the conflict that it is the task of (...) the progressively realized Christian community to overcome. The autobiographical material which Macmurray includes is enough in itself to establish the value of this book; his reflections on the nature, present condition, and future task of Christianity are so much more frosting added to the cake—E. A. R. (shrink)

Thomas Chubb seems to have been an 18th century English artisan class version of Eric Hoffer. Only the subject for Chubb was Deism rather than democracy. This is not, of course, to deny the link between these two, a link which is accented to some extent in Chubb's own work. Bushell has given us a short biographical account of Chubb together with six chapters that dutifully comb Chubb's moral, political, and, especially, his theological writings for a synthetic view of Chubb's (...) opinion on such subjects as the historical Jesus, theodicy, providence, toleration, and natural law. Chubb seems to have attracted the curiosity of the intelligensia [[sic]] of his own and later times. But, on balance, he does not appear to be even a major minor figure.--E. A. R. (shrink)

James Collins has turned his talent for painstaking and definitive scholarship to the philosophy of religion, and nobody with an interest in this particular area of philosophy, or in the general development of modern philosophy in the hands of Hume, Kant, and Hegel, can afford to miss consulting this book. The philosophy of religion, as distinct from the older style natural theology, theodicy, and straight theological treatments of religion, is a discipline whose need was first felt when the scientific picture (...) of the universe began to declare its independence from, and possible ascendency over, the theistically ordered anthropological and cosmological harmony of the universe. As Collins details in a balanced manner, it was Hume who first formulated a program to meet this need. He did it in such a way, however, that he made religion a legitimate object of, but wholly external and even inimical in content to, philosophy, particularly epistemology and ethics. Building upon Hume, Kant defined the epistemological issue more precisely—"I have denied knowledge to save belief"—and reinterpreted the relation between morality and religion as one of complementarity rather than contradictoriness. It remained for Hegel to internalize the relation between the content of religion and the content of philosophy and thus to reduce the former to an anticipation of the latter. Collins' exposition is interpenetrated by a critical concern supplied by the dialectical development of the idea of the philosophy of religion from Hume through Kant to Hegel, and by his own proposal for integrating the genuine and irreducible insights of each of these three classical philosophies within a realistic philosophy of religion that remains basically theistic. The book is an expanded form of Collins' St. Thomas More Lectures at Yale University; it would be an impressive addition to any series of lectures.—E. A. R. (shrink)

After an opening chapter, in which he defends an objectivist theory of moral discourse against various forms of emotivism and pragmatism by locating the ordinary import of moral ascriptions in their reference to persons rather than situations, Owen proceeds to generalize this requirement so that moral imperatives are regarded as making sense only if they issue from a personal source. "Making sense" admittedly does not mean that there is any logical contradiction involved in denying that a relation of persons is (...) presupposed by moral conduct and implied by moral discourse; negatively put, stoicism is the only consistent alternative to theism: but stoicism neglects evidence for the existence of God that it need not. Thus, while there is a "gap" between the premisses and the conclusion of the moral argument which can only be bridged by a "leap," this "leap" of faith is far from being blind. While most of this book amounts simply to an incisive and extremely well-ordered restatement of the Kantian moral argument for the existence of God, the author's use of the notion of person and pari passu community as integral features of the argument revise it sufficiently to give it a prima facie better based cognitive appeal than Kant's.—E. A. R. (shrink)

We report on some recent work centered on attempts to understand when one set is more random than another. We look at various methods of calibration by initial segment complexity, such as those introduced by Solovay [125], Downey, Hirschfeldt, and Nies [39], Downey, Hirschfeldt, and LaForte [36], and Downey [31]; as well as other methods such as lowness notions of Kučera and Terwijn [71], Terwijn and Zambella [133], Nies [101, 100], and Downey, Griffiths, and Reid [34]; higher level randomness notions (...) going back to the work of Kurtz [73], Kautz [61], and Solovay [125]; and other calibrations of randomness based on definitions along the lines of Schnorr [117].These notions have complex interrelationships, and connections to classical notions from computability theory such as relative computability and enumerability. Computability figures in obvious ways in definitions of effective randomness, but there are also applications of notions related to randomness in computability theory. For instance, an exciting by-product of the program we describe is a more-or-less naturalrequirement-freesolution to Post's Problem, much along the lines of the Dekker deficiency set. (shrink)

Several notions of computability-theoretic reducibility between [Formula: see text] principles have been studied. This paper contributes to the program of analyzing the behavior of versions of Ramsey’s Theorem and related principles under these notions. Among other results, we show that for each [Formula: see text], there is an instance of RT[Formula: see text] all of whose solutions have PA degree over [Formula: see text] and use this to show that König’s Lemma lies strictly between RT[Formula: see text] and RT[Formula: see (...) text] under one of these notions. We also answer two questions raised by Dorais, Dzhafarov, Hirst, Mileti, and Shafer on comparing versions of Ramsey’s Theorem and of the Thin Set Theorem with the same exponent but different numbers of colors. Still on the topic of the effect of the number of colors on the computable aspects of Ramsey-theoretic properties, we show that for each [Formula: see text], there is an [Formula: see text]-coloring [Formula: see text] of [Formula: see text] such that every [Formula: see text]-coloring of [Formula: see text] has an infinite homogeneous set that does not compute any infinite homogeneous set for [Formula: see text], and connect this result with the notion of infinite information reducibility introduced by Dzhafarov and Igusa. Next, we introduce and study a new notion that provides a uniform version of the idea of implication with respect to [Formula: see text]-models of RCA0, and related notions that allow us to count how many applications of a principle [Formula: see text] are needed to reduce another principle to [Formula: see text]. Finally, we fill in a gap in the proof of Theorem 12.2 in Cholak, Jockusch, and Slaman. (shrink)

The ‘Bolivarian Revolution’ in Venezuela under Hugo Chávez has reignited debate in Latin America and internationally on the questions of socialism and revolution. This forum brings together six leading intellectuals from different revolutionary traditions and introduces their reflections on class-struggle, the state, imperialism, counter-power, revolutionary parties, community and communes, workplaces, economy, politics, society, culture, race, gender, and the hopes, contradictions, and prospects of ‘twenty-first-century socialism’ in contemporary Venezuela.

We show that the theory of the partial ordering of the computably enumerable degrees in any given nontrivial interval is undecidable and has uncountably many 1-types.

We show that for every c.e. degree a > 0 there exists an intrinsically c.e. relation on the domain of a computable structure whose degree spectrum is {0, a}. This result can be extended in two directions. First we show that for every uniformly c.e. collection of sets S there exists an intrinsically c.e. relation on the domain of a computable structure whose degree spectrum is the set of degrees of elements of S. Then we show that if α ∈ (...) ω∪{ω } then for any α-c.e. degree a > 0 there exists an intrinsically α-c.e. relation on the domain of a computable structure whose degree spectrum is {0, a}. All of these results also hold for m-degree spectra of relations. (shrink)

There has been increasing interest over the last few decades in the study of the effective content of Mathematics. One field whose effective content has been the subject of a large body of work, dating back at least to the early 1960s, is model theory. Several different notions of effectiveness of model-theoretic structures have been investigated. This communication is concerned withcomputablestructures, that is, structures with computable domains whose constants, functions, and relations are uniformly computable.In model theory, we identify isomorphic structures. (...) From the point of view of computable model theory, however, two isomorphic structures might be very different. For example, under the standard ordering of ω the success or relation is computable, but it is not hard to construct a computable linear ordering of type ω in which the successor relation is not computable. In fact, for every computably enumerable degree a, we can construct a computable linear ordering of type ω in which the successor relation has degree a. It is also possible to build two isomorphic computable groups, only one of which has a computable center, or two isomorphic Boolean algebras, only one of which has a computable set of atoms. Thus, for the purposes of computable model theory, studying structures up to isomorphism is not enough. (shrink)

We construct a class of relations on computable structures whose degree spectra form natural classes of degrees. Given any computable ordinal and reducibility r stronger than or equal to m-reducibility, we show how to construct a structure with an intrinsically invariant relation whose degree spectrum consists of all nontrivial r-degrees. We extend this construction to show that can be replaced by either or.

We build an א₁-categorical but not א₀-categorical theory whose only computably presentable model is the saturated one. As a tool, we introduce a notion related to limitwise monotonic functions.

We show that there is a minimal pair in the nonuniform generic degrees, and hence also in the uniform generic degrees. This fact contrasts with Igusa’s result that there are no minimal pairs for relative generic computability and answers a basic structural question mentioned in several papers in the area.

We show that for every computably enumerable degree a > 0 there is an intrinsically c.e. relation on the domain of a computable structure of computable dimension 2 whose degree spectrum is { 0 , a } , thus answering a question of Goncharov and Khoussainov 55–57). We also show that this theorem remains true with α -c.e. in place of c.e. for any α∈ω∪{ω} . A modification of the proof of this result similar to what was done in Hirschfeldt (...) shows that for any α∈ω∪{ω} and any α -c.e. degrees a 0 ,…, a n there is an intrinsically α -c.e. relation on the domain of a computable structure of computable dimension n+1 whose degree spectrum is { a 0 ,…, a n } . These results also hold for m-degree spectra of relations. (shrink)

There is a common misconception that our genomes - all unique, except for those in identical twins - have the upper hand in controlling our destiny. The latest genetic discoveries, however, do not support that view. Although genetic variation does influence differences in various human behaviours to a greater or lesser degree, most of the time this does not undermine our genuine free will. Genetic determinism comes into play only in various medical conditions, notably some psychiatric syndromes. Denis Alexander (...) here demonstrates that we are not slaves to our genes. He shows how a predisposition to behave in certain ways is influenced at a molecular level by particular genes. Yet a far greater influence on our behaviours is our world-views that lie beyond science - and that have an impact on how we think the latest genetic discoveries should, or should not, be applied. Written in an engaging style, Alexander's book offers tools for understanding and assessing the latest genetic discoveries critically. (shrink)

This article represents comments arising from The Compatibility of Evolution and Design by Rope Kojonen (Palgrave Macmillan, 2021) concerning the role of chance and randomness in evolution (citations from this book are shown as page numbers in brackets). The various meanings of chance and randomness as used in descriptions of biological evolution are discussed and contrasted with their meanings in mathematics and metaphysics. The discussion relates to the role of contingency in evolution and to ideological and rhetorical extrapolations from biology (...) into philosophical world views. Overall it is concluded that evolution is not a chance process, except in the epistemic sense of “chance.” Theologically, this has implications for the idea that God creates through “a free evolutionary process” and may also influence our perspectives on divine action and intentionality in evolutionary history. (shrink)

Evolution - both the fact that it occurred and the theory describing the mechanisms by which it occurred - is an intrinsic and central component in modern biology. Theodosius Dobzhansky captures this well in the much-quoted title of his 1973 paper 'Nothing in biology makes sense except in the light of evolution'. The correctness of this assertion is even more obvious today: philosophers of biology and biologists agree that the fact of evolution is undeniable and that the theory of evolution (...) explains that fact. Such a theory has far-reaching implications. In this volume, eleven distinguished scholars address the conceptual, metaphysical and epistemological richness of the theory and its ethical and religious impact, exploring topics including DNA barcoding, three grand challenges of human evolution, functionalism, historicity, design, evolution and development, and religion and secular humanism. The volume will be of great interest to those studying philosophy of biology and evolutionary biology. (shrink)

We give some new examples of possible degree spectra of invariant relations on Δ 0 2 -categorical computable structures, which demonstrate that such spectra can be fairly complicated. On the other hand, we show that there are nontrivial restrictions on the sets of degrees that can be realized as degree spectra of such relations. In particular, we give a sufficient condition for a relation to have infinite degree spectrum that implies that every invariant computable relation on a Δ 0 2 (...) -categorical computable structure is either intrinsically computable or has infinite degree spectrum. This condition also allows us to use the proof of a result of Moses [23] to establish the same result for computable relations on computable linear orderings. We also place our results in the context of the study of what types of degree-theoretic constructions can be carried out within the degree spectrum of a relation on a computable structure, given some restrictions on the relation or the structure. From this point of view we consider the cases of Δ 0 2 -categorical structures, linear orderings, and 1-decidable structures, in the last case using the proof of a result of Ash and Nerode [3] to extend results of Harizanov [14]. (shrink)

For [Formula: see text], the coarse similarity class of A, denoted by [Formula: see text], is the set of all [Formula: see text] such that the symmetric difference of A and B has asymptotic density 0. There is a natural metric [Formula: see text] on the space [Formula: see text] of coarse similarity classes defined by letting [Formula: see text] be the upper density of the symmetric difference of A and B. We study the metric space of coarse similarity classes (...) under this metric, and show in particular that between any two distinct points in this space there are continuum many geodesic paths. We also study subspaces of the form [Formula: see text] where [Formula: see text] is closed under Turing equivalence, and show that there is a tight connection between topological properties of such a space and computability-theoretic properties of [Formula: see text]. We then define a distance between Turing degrees based on Hausdorff distance in the metric space [Formula: see text]. We adapt a proof of Monin to show that the Hausdorff distances between Turing degrees that occur are exactly 0, [Formula: see text], and 1, and study which of these values occur most frequently in the senses of Lebesgue measure and Baire category. We define a degree a to be attractive if the class of all degrees at distance [Formula: see text] from a has measure 1, and dispersive otherwise. In particular, we study the distribution of attractive and dispersive degrees. We also study some properties of the metric space of Turing degrees under this Hausdorff distance, in particular the question of which countable metric spaces are isometrically embeddable in it, giving a graph-theoretic sufficient condition for embeddability. Motivated by a couple of issues arising in the above work, we also study the computability-theoretic and reverse-mathematical aspects of a Ramsey-theoretic theorem due to Mycielski, which in particular implies that there is a perfect set whose elements are mutually 1-random, as well as a perfect set whose elements are mutually 1-generic. Finally, we study the completeness of [Formula: see text] from the perspectives of computability theory and reverse mathematics. (shrink)

We examine the reverse mathematical strength of a variation of Hindman’s Theorem (HT) constructed by essentially combining HT with the Thin Set Theorem to obtain a principle that we call thin-HT. This principle states that every coloring c:N→N has an infinite set S⊆N whose finite sums are thin for c, meaning that there is an i with c(s)≠i for all nonempty sums s of finitely many distinct elements of S. We show that there is a computable instance of thin-HT such (...) that every solution computes ∅′, as is the case with HT, as shown by Blass, Hirst, and Simpson (1987). In analyzing this proof, we deduce that thin-HT implies ACA0 over RCA0+IΣ20. On the other hand, using Rumyantsev and Shen’s computable version of the Lovász Local Lemma, we show that there is a computable instance of the restriction of thin-HT to sums of exactly 2 elements such that any solution has diagonally noncomputable degree relative to ∅′. Hence there is a computable instance of this restriction of thin-HT with no Σ20 solution. (shrink)

Late in 1990, the Center for the Study of Ethics in the Professions at Illinois Institute of Technology (lIT) received a grant of more than $200,000 from the National Science Foundation to try a campus-wide approach to integrating professional ethics into its technical curriculum.! Enough has now been accomplished to draw some tentative conclusions. I am the grant's principal investigator. In this paper, I shall describe what we at lIT did, what we learned, and what others, especially philosophers, can learn (...) from us. We set out to develop an approach that others could profitably adopt. I believe that we succeeded. (shrink)

This study examines the socioeconomic and familial background of Irish Catholic priests born between 1867 and 1911. Previous research has hypothesized that lack of marriage opportunities may influence adoption of celibacy as part of a religious institution. The present study traced data from Irish seminary registries for 46 Catholic priests born in County Limerick, Ireland, using 1901 Irish Census returns and Land Valuation records. Priests were more likely to originate from landholding backgrounds, and with landholdings greater in size and wealth (...) than the local average. Priests were found to originate from families with more sons than the national average, but with similar numbers of daughters. These findings are discussed in relation to competition for resources and lineage survival strategies. (shrink)

We construct the set of the title, answering a question of Cholak, Jockusch, and Slaman [1], and discuss its connections with the study of the proof-theoretic strength and effective content of versions of Ramsey's Theorem. In particular, our result implies that every ω-model of RCA 0 + SRT 2 2 must contain a nonlow set.

As a natural example of a 1-random real, Chaitin proposed the halting probability Ω of a universal prefix-free machine. We can relativize this example by considering a universal prefix-free oracle machine U. Let [Formula: see text] be the halting probability of UA; this gives a natural uniform way of producing an A-random real for every A ∈ 2ω. It is this operator which is our primary object of study. We can draw an analogy between the jump operator from computability theory (...) and this Omega operator. But unlike the jump, which is invariant under the choice of an effective enumeration of the partial computable functions, [Formula: see text] can be vastly different for different choices of U. Even for a fixed U, there are oracles A =* B such that [Formula: see text] and [Formula: see text] are 1-random relative to each other. We prove this and many other interesting properties of Omega operators. We investigate these operators from the perspective of analysis, computability theory, and of course, algorithmic randomness. (shrink)

It is human nature to wonder how things might have turned out differently--either for the better or for the worse. For the past two decades psychologists have been intrigued by this phenomenon, which they call counterfactual thinking. Specifically, researchers have sought to answer the "big" questions: Why do people have such a strong propensity to generate counterfactuals, and what functions does counterfactual thinking serve? What are the determinants of counterfactual thinking, and what are its adaptive and psychological consequences? This important (...) work brings together a collection of thought-provoking papers by social and cognitive psychologists who have made important theoretical and empirical contributions to our understanding of this topic. The essays in this volume contain novel theoretical insights, and, in many cases descriptions of previously unpublished empirical studies. The Psychology of Counterfactual Thinking provides an excellent overview of this fascinating topic for researchers, as well as advanced undergraduates and graduates in psychology--particularly those with an interest in social cognition, social judgment, decision judgment, decision making, thinking and reasoning. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Book Reviews St. Auc~stine and Being: A Me$aphyM,cal Essay. By James F. Anderson. (The Hague: Martinus Nijhoff, 1965.Pp. viii [i] + 76. Guilders 9.90.) Contemporary students of medieval philosophy, especially those influenced by the writings of Gilson, usually view Augustine as primarily an essentialist in metaphysics, while Aquinas is viewed as some sort of existentialist. This is taken to mean that, whereas Augustine seems to identify being with essence (...) or wha~ a thing is, Aquinas distinguishes between what a thing is and its act of existence. The major contribution of Aquinas to later philosophy is often depicted as this distinction between essence and existence. Perhaps the major interest and value of Professor Anderson's essay is that it contests this currently predominant opinion of the essentialist character of Augustinian metaphysics and calls for a re-evaluation of the supposedly revohi~ionary character of the Thomistic concentration upon the act of existence. It is quite evident that Augustine broke with Plotinus when he asserted that the first principle of all things was God, being itself (ipsum esse), rather than the One, which transcends being. The controversy arises over Augustine's view of the nature of being (esse). For Gilson the notion of being remained for Augustine Neoplatonic, while for Anderson Augustine introduced an existential aspect to the notion of being lacking in Neoplatonic thought. Citing the same texts for support Gilson maintains that Augustine interprets the name of God given in Exodus as "I am he who never changes," while Anderson maintains that Augustine interprets Exodus as asserting that God is being, in the sense of existence, itself. The major point of disagreement between Gilson and Anderson is not whether Augustine regarded being as pre~ dominant, but how Augustine interpreted the notion of being. In some texts Augustine maintsSns that being and immutability mean the same thing, in others he argues that a thing truly is 'because it is immutable, and in yet others he argues that a thing is immutable because it truly is. The first opinion seems to be the one frequently favored as an interpretation of Augustine by Gilson. The second is usually regarded as Neoplatonic. The third is the opinion which Professor Anderson argues was most accurately Augustine's. According to Professor Anderson the first two opinions reflect for Augustine a merely factual connection between being and immutability, whereas the third reflects a metaphysical entailment. I should like to mention three points in Professor Anderson's discussion which seem to me weak. Firstly, as Augustine remarks that being is the name for unchangeableness we cannot take this as asserting a merely factual relationship. Secondly, to say that 'being' and 'immutability ~mean the same thing to Augustine or that being and immutability are identical to him does not necessitate, as Professor Andersen claims, denying the primacy of being. If 'being' and 'immutability' mean the same thing, then it is very peculiar to ask which is primary. If it is remarked that 'triangleI means the same thing as 'three sided figure', what sense does it make to ask which notion is primary? I suspect that Professor Anderson's contention makes sense only if one believes that there is a difference in the meanings of 'being' and 'immutability ', but whether or not there was such a difference for Augustine is precisely the point at issue. Professor Anderson asserts that it would be a "metaphysical inconsistency" to claim that God is both being and immutability, but it is not clear why such a claim would be inconsistent if the two terms in fact mean the same thing (p. 30). Thirdly, if, as is in fact the case, Augustine's remarks on the relationship between immutability and being are inconsistent perhaps we should accept the possibility that Augustine himself never came to a clear view on this matter rather than attempt to surmise what Augustine "must have meant." Of course, such inconsistency in Augustine's writings would tend to support the thesis of Gilson that Augustine has difficulties reconciling his theology and metaphysics. Moreover, the analogy Professor Anderson suggests between the Augustinian mutability-immutability contrast and the Thomistic potency-act contrast could only be a very rough one... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Book Reviews St. Auc~stine and Being: A Me$aphyM,cal Essay. By James F. Anderson. (The Hague: Martinus Nijhoff, 1965.Pp. viii [i] + 76. Guilders 9.90.) Contemporary students of medieval philosophy, especially those influenced by the writings of Gilson, usually view Augustine as primarily an essentialist in metaphysics, while Aquinas is viewed as some sort of existentialist. This is taken to mean that, whereas Augustine seems to identify being with essence (...) or wha~ a thing is, Aquinas distinguishes between what a thing is and its act of existence. The major contribution of Aquinas to later philosophy is often depicted as this distinction between essence and existence. Perhaps the major interest and value of Professor Anderson's essay is that it contests this currently predominant opinion of the essentialist character of Augustinian metaphysics and calls for a re-evaluation of the supposedly revohi~ionary character of the Thomistic concentration upon the act of existence. It is quite evident that Augustine broke with Plotinus when he asserted that the first principle of all things was God, being itself (ipsum esse), rather than the One, which transcends being. The controversy arises over Augustine's view of the nature of being (esse). For Gilson the notion of being remained for Augustine Neoplatonic, while for Anderson Augustine introduced an existential aspect to the notion of being lacking in Neoplatonic thought. Citing the same texts for support Gilson maintains that Augustine interprets the name of God given in Exodus as "I am he who never changes," while Anderson maintains that Augustine interprets Exodus as asserting that God is being, in the sense of existence, itself. The major point of disagreement between Gilson and Anderson is not whether Augustine regarded being as pre~ dominant, but how Augustine interpreted the notion of being. In some texts Augustine maintsSns that being and immutability mean the same thing, in others he argues that a thing truly is 'because it is immutable, and in yet others he argues that a thing is immutable because it truly is. The first opinion seems to be the one frequently favored as an interpretation of Augustine by Gilson. The second is usually regarded as Neoplatonic. The third is the opinion which Professor Anderson argues was most accurately Augustine's. According to Professor Anderson the first two opinions reflect for Augustine a merely factual connection between being and immutability, whereas the third reflects a metaphysical entailment. I should like to mention three points in Professor Anderson's discussion which seem to me weak. Firstly, as Augustine remarks that being is the name for unchangeableness we cannot take this as asserting a merely factual relationship. Secondly, to say that 'being' and 'immutability ~mean the same thing to Augustine or that being and immutability are identical to him does not necessitate, as Professor Andersen claims, denying the primacy of being. If 'being' and 'immutability' mean the same thing, then it is very peculiar to ask which is primary. If it is remarked that 'triangleI means the same thing as 'three sided figure', what sense does it make to ask which notion is primary? I suspect that Professor Anderson's contention makes sense only if one believes that there is a difference in the meanings of 'being' and 'immutability ', but whether or not there was such a difference for Augustine is precisely the point at issue. Professor Anderson asserts that it would be a "metaphysical inconsistency" to claim that God is both being and immutability, but it is not clear why such a claim would be inconsistent if the two terms in fact mean the same thing (p. 30). Thirdly, if, as is in fact the case, Augustine's remarks on the relationship between immutability and being are inconsistent perhaps we should accept the possibility that Augustine himself never came to a clear view on this matter rather than attempt to surmise what Augustine "must have meant." Of course, such inconsistency in Augustine's writings would tend to support the thesis of Gilson that Augustine has difficulties reconciling his theology and metaphysics. Moreover, the analogy Professor Anderson suggests between the Augustinian mutability-immutability contrast and the Thomistic potency-act contrast could only be a very rough one... (shrink)

We can gain fresh insights into aspects of criminal liability by focusing first on the prior topic of criminal responsibility, and on the relational dimensions of responsibility: responsibility is responsibility for something, to someone. We are criminally responsible as citizens, to our fellow citizens, for committing 'public' wrongs: I discuss the difficulty of giving determinate content to this idea of public wrongs, and the way in which, whereas moral responsibility is typically strict, criminal responsibility is not. Finally, I explore the (...) grounds on which defendants might deny that they are criminally responsible before the courts that seek to try them. (shrink)

A set X is prime bounding if for every complete atomic decidable (CAD) theory T there is a prime model U of T decidable in X. It is easy to see that $X = 0\prime$ is prime bounding. Denisov claimed that every $X <_{T} 0\prime$ is not prime bounding, but we discovered this to be incorrect. Here we give the correct characterization that the prime bounding sets $X \leq_{T} 0\prime$ are exactly the sets which are not $low_2$ . Recall that (...) X is $low_2$ if $X\prime\prime$ $\leq_{T} 0\prime$ . To prove that a $low_2$ set X is not prime bounding we use a $0\prime$ -computable listing of the array of sets { Y : Y $\leq_{T}$ X } to build a CAD theory T which diagonalizes against all potential X-decidable prime models U of T. To prove that any $non-low_{2}$ ; X is indeed prime bounding, we fix a function f $\leq_T$ X that is not dominated by a certain $0\prime$ -computable function that picks out generators of principal types. Given a CAD theory T. we use f to eventually find, for every formula $\varphi (\bar{x})$ consistent with T, a principal type which contains it, and hence to build an X-decidable prime model of T. We prove the prime bounding property equivalent to several other combinatorial properties, including some related to the limitwise monotonic functions which have been introduced elsewhere in computable model theory. (shrink)

Journal of Mathematical Logic, Volume 22, Issue 03, December 2022. Hirschfeldt and Jockusch (2016) introduced a two-player game in which winning strategies for one or the other player precisely correspond to implications and non-implications between [math] principles over [math]-models of [math]. They also introduced a version of this game that similarly captures provability over [math]. We generalize and extend this game-theoretic framework to other formal systems, and establish a certain compactness result that shows that if an implication [math] between two (...) principles holds, then there exists a winning strategy that achieves victory in a number of moves bounded by a number independent of the specific run of the game. This compactness result generalizes an old proof-theoretic fact noted by H. Wang (1981), and has applications to the reverse mathematics of combinatorial principles. We also demonstrate how this framework leads to a new kind of analysis of the logical strength of mathematical problems that refines both that of reverse mathematics and that of computability-theoretic notions such as Weihrauch reducibility, allowing for a kind of fine-structural comparison between [math] principles that has both computability-theoretic and proof-theoretic aspects, and can help us distinguish between these, for example by showing that a certain use of a principle in a proof is “purely proof-theoretic”, as opposed to relying on its computability-theoretic strength. We give examples of this analysis to a number of principles at the level of [math], uncovering new differences between their logical strengths. (shrink)

1. The “puzzle” Physical objects are coloured: roses are red, violets are blue, and so forth. In particular, physical objects have fine-grained shades of colour: a certain chip, we can suppose, is true blue (unique, or pure blue). The following sort of scenario is commonplace. The chip looks true blue to John; in the same (ordinary) viewing conditions it looks (slightly) greenish-blue to Jane. Both John and Jane are “normal” perceivers. Now, nothing can be both true blue and greenish-blue; since (...) the chip is true blue, it is not greenish-blue. Hence Jane, unlike John, is misperceiving the chip. Generalizing, the conclusion is that there is widespread misperception of fine-grained shades. According to Tye (2006), and Cohen, Hardin, and McLaughlin (2006), the previous paragraph amounts to a paradox: an apparently unacceptable conclusion has been drawn from apparently acceptable premises via apparently acceptable reasoning. (See also Hawthorne and Kovakovich 2006, 180-1.) Tye swallows the conclusion, aided by a dose of evolutionary speculation. Hardin (1988), on the other hand, rejects the first premise, and denies that physical objects are coloured. Cohen (2004) and McLaughlin (2003) claim that both Jane and John have the colour of the chip right. Our opening paragraph concealed a crucial parameter. In fact, the chip looks greenish-blue-relative-to- circumstances-C to Jane, and true-blue-relative-to-circumstances-C* to John, and the chip has both these relativized colours.1 All this ingenious philosophizing would be in vain, of course, if the conclusion of the opening paragraph were not puzzling or problematic. So, why is it supposed to be? According to Tye, the conclusion is puzzling because John and Jane are both “normal perceivers” (xx). He seems to think that it is (prima facie) plausible to assume.. (shrink)

The chapters published in this volume developed from presentations, and their associated discussions at a conference organised by the Scottish Branch of the British Psychological Society, held at Rothesay, Isle of Bute, Scotland in September 1987. The goal of the conference was to bring together workers across a wide area of neuropsychological research to discuss recent technological advances, developments in assessment and rehabilitation, and to address theoretical issues of current interest. Thus, the chapters in this book include contributions on the (...) use of Magnetic Resonance Imaging and Single Photon Emission Computed Tomography in neuropsychological research, studies of hemi spheric specialisation and cooperation, alcoholic and Alzheimer type dementia, prosopagnosia and facial processing, the assessment, management and rehabilitation of memory problems, the assessment of premorbid intellectual status and issues in developmental neuropsychology. Many of those engaged in research and clinical practice in neuropsychology encounter a range of topic at least as wide as this in their professional lives. The opportunity for researchers and clinicians to discuss some of the key issues in the field was invaluable and we hope that readers gain as much from the material presented here as the participants did from the meeting itself. (shrink)

This chapter argues that the kind of responsibility that we must have, if the enterprise of criminal law and punishment is to be consistent with the demands of justice, is something much more modest, much less metaphysically ambitious, than the ‘ultimate’ responsibility that Strawson so persuasively denies in Chapter 8. If we are to be clear about the kind of responsibility that is relevant to criminal law, we must first be clear about the criminal law itself — about the kind (...) of enterprise that it is, about the aims that it should serve, about the principles that should structure it, and about the conditions it demands of us. (shrink)

This paper offers some further support to Sarah Summers’ argument, in «The Epistemic Ambitions of the Criminal Trial: Truth, Proof, and Rights», that we cannot separate process from outcome in the criminal trial—that the justification and legitimacy of the verdict (especially of a conviction) depends crucially on the procedure through which it was reached. Intuitive support for this view is found by considering the case of a guilty person who is convicted after a trial that denied him the opportunity or (...) means for «effective participation»; further support is found in the provisions made for those who are «unfit to plead», those who lack the capacities necessary for effective participation in their trial. A firmer grounding for this view is then found in a theory of the criminal trial as a process through which alleged public wrongdoers are called to account—a process in which they should be active participants. (shrink)

I can get away with it because no one is in a position to call me on it. Professor Robinson cannot consistently complain that (A) begs the question against his thesis that there is no such fallacy. He would discourage anyone from "helping" him by accusing me of committing the fallacy against him. With advocates like that, who needs adversaries? I. EMBEDDING PERSPECTIVES After all, Robinson has a viable reply to my argument. He should simply deny my premise. Later I (...) will show how (A) might rationally persuade Robinson. But my immediate goal is not to convert the skeptic about the existence of the fallacy but rather to use his extreme position to make a point about the nature of question-begging. Those who object that argument (A) begs the question against Robinson must do so on behalf of Robinson. This assistance requires that one launch the accusation from Robinson's perspective and with his dialectical interests at heart. (shrink)

Placebo-controlled trials are controversial when individuals might be denied existing beneficial medical interventions. In the case of malaria, most patients die in rural villages without healthcare facilities. An artesunate suppository that can be given by minimally skilled persons might be of value when patients suddenly become too ill for oral treatment but are several hours from a facility that can give injectable treatment for severe disease. In such situations, by default, no treatment is (or can be) given until the patient (...) reaches a facility, making the placebo control design clinically relevant; alternative bioequivalence designs at the facility would misrepresent reality and risk incorrect conclusions. We describe the ethical issues underpinning a placebo-controlled trial in severe malaria. To protect patients and minimise risk, all patients were referred immediately to hospital so that each had a higher chance of prompt treatment through participation. There was no difference between artesunate and placebo in patients who reached clinic rapidly; among those who could not, a single artesunate suppository significantly reduced death or permanent disability, a finding of direct and indirect benefit to patients in participating villages and elsewhere. (shrink)